THE CURRENT STATE OF PROVING PROGRAMS CORRECT = L'ETAT DE LA DEMONSTRATION DE L'EXACTITUDE DE PROGRAMMESLONDON RL.1972; IN: ASSOC. COMPUT. MACH. ANN. CONF. PROC. BOSTON, 1972; NEW YORK; ASSOC. COMPUT. MACH.; DA. 1972; VOL. 1; PP. 39-46; BIBL. 1 P. 1/2Conference Proceedings

Repetitions, known or unknown?HESSELINK, W. H.Information processing letters. 1991, Vol 40, Num 1, pp 51-57, issn 0020-0190Article

The verifying compiler: A grand challenge for computing researchHOARE, Tony.Lecture notes in computer science. 2003, pp 25-35, issn 0302-9743, isbn 3-540-40796-0, 11 p.Conference Paper

The verifying compiler: A grand challenge for computing researchHOARE, Tony.Lecture notes in computer science. 2003, pp 1-12, issn 0302-9743, isbn 3-540-20813-5, 12 p.Conference Paper

Correctness of programs and protocols through randomizationRABIN, M. O.Lecture notes in computer science. 1997, pp 1-3, issn 0302-9743, isbn 3-540-63875-XConference Paper

On a technology of design and analysis of dataflow programsSOKOLOV, V. A; ROUBTSOVA, E. E; ROUBTSOV, S. A et al.Lecture notes in computer science. 1997, pp 115-120, issn 0302-9743, isbn 3-540-63371-5Conference Paper

Errors committed with high confidence are hypercorrectedBUTTERFIELD, Brady; METCALFE, Janet.Journal of experimental psychology. Learning, memory, and cognition. 2001, Vol 27, Num 6, pp 1491-1494, issn 0278-7393Article

Untersuchungen zur Tauglichkeit der Antwortzeit als Basis für die Unterscheidung verschiedener Begriffsarten = Etude sur la pertinence du temps de réponse comme base de différenciation de divers modes de conceptualisation = Study on the pertinence of response-time as basis of the differentiation of several ways of conceptualizationBREDENKAMP, J.Zeitschrift für Psychologie mit Zeitschrift für angewandte Psychologie. 1986, Vol 194, Num 2, pp 177-189, issn 0044-3409Article

Distributed event algebrasKLAPPER, A.Journal of computer and system sciences (Print). 1992, Vol 44, Num 3, pp 411-424, issn 0022-0000Article

Fitting the Ratcliff diffusion model to experimental dataVANDEKERCKHOVE, Joachim; TUERLINCKX, Francis.Psychonomic bulletin & review. 2007, Vol 14, Num 6, pp 1011-1026, issn 1069-9384, 16 p.Article

Recovery Logics for Speculative Update Global and Local Branch HistoryJONG WOOK KWAK; CHU SHIK JHON.Lecture notes in computer science. 2006, pp 258-266, issn 0302-9743, isbn 3-540-47242-8, 1Vol, 9 p.Conference Paper

Validating the unit correctness of spreadsheet programsANTONIU, Tudor; STECKLER, Paul A; KRISHNAMURTHI, Shriram et al.International Conference on Software Engineering. 2004, pp 439-448, isbn 0-7695-2163-0, 1Vol, 10 p.Conference Paper

Normal approach on correctness software estimationROCA, J. L.Microelectronics and reliability. 1987, Vol 27, Num 3, pp 457-458, issn 0026-2714Article

Confidence and accuracy in deductive reasoningSHYNKARITK, Jody M; THOMPSON, Valerie A.Memory & cognition. 2006, Vol 34, Num 3, pp 619-632, issn 0090-502X, 14 p.Article

Hierarchical termination revisitedOHLEBUSCH, Enno.Information processing letters. 2002, Vol 84, Num 4, pp 207-214, issn 0020-0190, 8 p.Article

Weakest preconditions for pure Prolog programsPEDRESCHI, D; RUGGIERI, S.Information processing letters. 1998, Vol 67, Num 3, pp 145-150, issn 0020-0190Article

Easy verification of behavioural subtyping in common casesBUTLER, G.Information processing letters. 1995, Vol 55, Num 1, pp 57-58, issn 0020-0190Article

An assertional proof of Rana's algorithmVAN WEZEL, M. C; TEL, G.Information processing letters. 1994, Vol 49, Num 5, pp 227-233, issn 0020-0190Article

Measuring diagnostic accuracy in the absence of a gold standardFARAONE, S. V; TSUANG, M. T.The American journal of psychiatry. 1994, Vol 151, Num 5, pp 650-657, issn 0002-953XArticle

Formal models of stepwise refinement of programsALI MILI; DESHARNAIS, J; GAGNE, J. R et al.ACM computing surveys. 1986, Vol 18, Num 3, pp 231-276, issn 0360-0300Article

INDIVIDUAL DIFFERENCES IN VISUAL COMPARISON PROCESSES.COOPER LA.1976; PERCEPT. AND PSYCHOPHYS.; U.S.A.; DA. 1976; VOL. 19; NO 5; PP. 433-444; BIBL. 21 REF.Article

MONETARY AND NON-MONETAR INCENTIVES IN MOTOR PERFORMANCE. = INCITATIONS MONETAIRES ET NON MONETAIRES DANS LA PERFORMANCE MOTRICEDANIELS EB; KOBAS GV; DRURY CG et al.1976; ERGONOMICS; G.B.; DA. 1976; VOL. 19; NO 1; PP. 61-68; ABS. FR. ALLEM.; BIBL. 17 REF.Article

SPECIFICATION TECHNIQUES FOR DATA ABSTRACTIONS.LISKOV BH; ZILLES SN.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 1; PP. 7-19; BIBL. 36 REF.Article

THE EFFECT OF LOCAL TARGET SURROUND AND WHOLE BACKGROUND CONSTRAINT ON VISUAL SEARCH TIMESBROWN B; MONK TH.1975; HUM. FACTORS; U.S.A.; DA. 1975; VOL. 17; NO 1; PP. 81-88; BIBL. 22REFArticle

A SIMPLE METHOD FOR LATENCY ANALYSIS IN SIGNAL DETECTION TASKSNAVON D.1975; PERCEPT. AND PSYCHOPHYS.; U.S.A.; DA. 1975; VOL. 18; NO 1; PP. 61-64; BIBL. 9REFArticle